Ensemble de Smith

Dans les systèmes de vote, l'ensemble de Smith, nommé d'après John H. Smith, mais également connu sous le nom de cycle supérieur, ou comme GETCHA (Generalized Top-Choice Assumption en anglais), est le plus petit ensemble non vide de candidats dans une élection particulière de telle sorte que chaque membre bat chaque candidat en dehors de l'ensemble lors d'une élection par paires. L'ensemble de Smith fournit une norme de choix optimal pour un résultat électoral. Les systèmes de vote qui élisent toujours un candidat de l'ensemble Smith satisfont au critère de Smith et sont dits «Smith-efficient».

Un ensemble de candidats où chaque membre de l'ensemble bat par paire chaque membre en dehors de l'ensemble est connu comme un ensemble dominant .